A simple proof that super-reflexive spaces are $K$-spaces
نویسندگان
چکیده
منابع مشابه
Uniformly convex Banach spaces are reflexive - constructively
We propose a natural definition of what it means in a constructive context for a Banach space to be reflexive, and then prove a constructive counterpart of the MilmanPettis theorem that uniformly convex Banach spaces are reflexive. Our aim in this note is to present a fully constructive analysis of the Milman-Pettis theorem [11, 12, 9, 13]: a uniformly convex Banach space is reflexive. First, t...
متن کاملQ-reflexive Banach Spaces
Let E be a Banach space. There are several natural ways in which any polynomial P ∈ P(E) can be extended to P̃ ∈ P(E), in such a way that the extension mapping is continuous and linear (see, for example, [6]). Taking the double transpose of the extension mapping P → P̃ yields a linear, continuous mapping from P(E) into P(E). Further, since P(E) is a dual space, it follows that there is a natural ...
متن کاملStrongly k-spaces
In this paper, we introduce the notion of strongly $k-$spaces (with the weak (=finest) pre-topology generated by their strongly compact subsets). We characterize the strongly $k-$spaces and investigate the relationships between preclosedness, locally strongly compactness, pre-first countableness and being strongly $k-$space.
متن کاملA Simple Proof That Super-Consistency Implies Cut Elimination
We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-consistency implies proof normalization. It also takes ideas from the semantic proofs of cut elimination that proceed by proving the completeness of the cut free calculus. In particular, it gives a generalization, to all super-c...
متن کاملThe Spaces That Define Algebraic K-theory
We characterize spaces W such that the W -nullification functor PW , applied to any BGL(R), gives BGL(R) . Let X be a pointed space and X the Quillen plus-construction on X with respect to the maximal perfect subgroup of π1X. If W is a pointed CW-complex, let PW (X) denote the W -nullification of X. (Recall that PWX is up to homotopy the initial space Y under X which is W -null in the sense tha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2003
ISSN: 0002-9939,1088-6826
DOI: 10.1090/s0002-9939-03-07180-6